Hard Sat Geometry Problems